Toward a Reformalization of QSIM
نویسنده
چکیده
A more detailed formalization of part of the QSIM framework has been found to be useful. That formalization is presented here in brief. The new formalization makes it easier to make and prove some useful statements. The formalization of temporal reasoning about continuous systems 7] and the precise deenition of completeness are examples of the usefulness of this formalization.
منابع مشابه
Toward Embedded Qualitative Simulation: A Specialized Computer Architecture for QSim
QUALITATIVE SIMULATION IS A key inference technique of model-based reasoning that has found use in such areas as monitoring, fault diagnosis, and design. To advance embedded applications of the qualitative simulator QSim, we have developed a special-purpose computer architecture designed to provide high performance, scalability, and increased portability to embedded computer platforms in mind. ...
متن کاملQSim Kernel Interface
Performance is an important issue for the qualitative simulator QSim and many of its applications. This paper describes a QSim kernel interface which is used for independent execution of the QSim kernel. Using this interface our special-purpose computer architecture can independently execute the QSim kernel from the entire qualitative simulator. Thus, the performance improvements using this spe...
متن کاملIn Corresponding State Other Global Constraints Lsim Applied to a Qsim Model
((0,inf),dec) cannot transition to (0,dec). If a variable transitions from a landmark to an interval, then all corresponding states in the same and lower levels must obey the time-point to time-interval transition rules. When a variable transitions from an interval to a landmark, all corresponding states in the same and lower levels cannot transition from a steady value to a non-steady value (a...
متن کاملQualitative Simulation and Temporal Logic: Proving Properties of Continuous Systems
We demonstrate an automated method for proving statements in temporal logic about continuous systems, even in the face of incomplete knowledge. The method combines an implemented, on-they , model-checking algorithm for statements in the temporal logic CTL* 3, 4, 5] with the output of the qualitative simulation algorithm QSIM 10, 12]. Based on the QSIM Guaranteed Coverage Theorem, we prove that ...
متن کاملLetters Letters n Editor:
“Fronti Nulla Fides”: No reliance can be placed on appearance. In a letter to the editor (AI Mugazine, Winter 1989), Benjamin Kuipers criticizes various points made in an earlier paper of ours (Akman and ten Hagen 1989). First, a side (nonetheless important) remark: Although Kuipers asserts that he distributes QSIM to interested researchers, our experience has been otherwise. Akman has tried tw...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996